What is jenkins and how it works